nLab Christopher J. Dean

Selected writings

personal page

Selected writings

On weak $\omega$ -categories via computads construed as inductive types:

Christopher J. Dean, Eric Finster, Ioannis Markakis, David Reutter, Jamie Vicary, Computads for weak $\omega$ -categories as an inductive type [arXiv:2208.08719]

category: people

Created on February 7, 2024 at 07:36:40. See the history of this page for a list of all contributions to it.